#!/usr/bin/env bash
set -euo pipefail

./verify.sh
./verify.r
